проблема выполнимости

проблема выполнимости

 

проблема выполнимости
Термин булевой алгебры, определяет, какое значение 1 или 0 надо добавить к выражению, чтобы выражение равнялось 1. Это - труднорешаемая задача.
[http://www.morepc.ru/dict/]

Тематики

  • информационные технологии в целом

EN

  • satisfiability problem


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "проблема выполнимости" в других словарях:

  • разрешения проблема —         РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …   Энциклопедия эпистемологии и философии науки

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Удовлетворение ограничений — Содержание 1 Введение 2 История 3 Примеры задач удовлетворения ограничений …   Википедия

  • Стереометрическая семантика —    трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… …   Проективный философский словарь

  • ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …   Философская энциклопедия

  • NP-полная задача — В теории алгоритмов NP полная задача  задача из класса NP, к которой можно свести любую другую задачу из класса NP за полиномиальное время. Таким образом, NP полные задачи образуют в некотором смысле подмножество «самых сложных» задач в… …   Википедия

  • СЛЕДОВАНИЕ — (логическое следо в а н и е) – отношение между суждениями (высказываниями, предложениями, утвержде ниями), играющее центр. роль в (дедуктивной) логике: изучение свойств С. в конечном счете породило всю логич. проблематику. Поскольку С.… …   Философская энциклопедия

  • теория —         ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …   Энциклопедия эпистемологии и философии науки

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • Класс NP-complete — В теории алгоритмов NP полная задача  это такая задача из класса NP, к которой можно свести любую другую задачу из класса NP. Таким образом, NP полные задачи образуют в некотором смысле подмножество «самых сложных» задач в классе NP; и если для… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»